منابع مشابه
A Natural Formalism for Microlensing
If the standard microlensing geometry is inverted so that the Einstein ring is projected onto the observer plane rather than the source plane, then the relations between the observables (θE, r̃E) and the underlying physical quantities (M,πrel) become immediately obvious. Here θE and r̃E are the angular and projected Einstein radii, M is the mass of the lens, and πrel is the lens-source relative p...
متن کاملThe E-framework: a formalism for natural language processing
This paper presents the most important characteristic of the new formalism used in Eurotra, the E-Framework. It is a formalism for natural language processing within a stratificational model. In the E-Framework, mapping between levels of representation is performed on the basis of transitions between trees and partial descriptions of objects, called descriptors. These descriptors are completed ...
متن کاملFinite Source Effects in Microlensing: a Precise, Easy to Implement, Fast and Numerical Stable Formalism
The goal of this paper is to provide a numerically fast and stable description for the microlensing amplification of an extended source (either uniform or limb-darkened) that holds in any amplification regime. We show that our method of evaluating the amplification can be implemented into a light-curve fitting routine using the Levenberg-Marquardt algorithm. We compare the accuracy and computat...
متن کاملDerivation of a Floquet Formalism within a Natural Framework
Many biological systems experience a periodic environment. Floquet theory is a mathematical tool to deal with such time periodic systems. It is not often applied in biology, because linkage between the mathematics and the biology is not available. To create this linkage, we derive the Floquet theory for natural systems. We construct a framework, where the rotation of the Earth is causing the pe...
متن کاملA Formalism for C++
In this paper, we develop a general formalism for describing the C++ programming language, and regular enough to cope with proposed extensions (such as concepts) for C++0x that affect its type system. Concepts are a mechanism for checking template arguments currently being developed to help cope with the massive use of templates in modern C++. The main challenges in developing a formalism for C...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Astrophysical Journal
سال: 2000
ISSN: 0004-637X,1538-4357
DOI: 10.1086/317037